home *** CD-ROM | disk | FTP | other *** search
/ Whiteline: Alpha / Whiteline Alpha.iso / gemini / man / options / addopt.mup next >
Encoding:
Text File  |  1994-09-22  |  710 b   |  46 lines
  1. #!mupfel
  2. #
  3. # @(#) addopt.mup
  4. # @(#) Stefan Eissing, 12. April 1993
  5. #
  6. # Addiere die Parameter (nämlich .OPT-Dateien) zu der Datei default.opt,
  7. # die sich im aktuellen Verzeichnis befindet. Die hinzugefügten Dateien
  8. # können nachher entfernt werden, da die Mupfel auch in default.opt sucht.
  9. #
  10. # BUGS: Funktioniert nur mit Dateinamen im aktuellen Verzeichnis
  11. #
  12.  
  13. if [ $# -eq 0 ]
  14. then
  15.     echo Gebrauch: $0 options-datei >&2
  16.     exit 2
  17. fi
  18.  
  19.  
  20. addoption()
  21. {
  22.     if [ $1 = default.opt ]
  23.     then
  24.         return 0
  25.     fi
  26.  
  27.     {
  28.     echo $1 
  29.     echo begin 
  30.     cat $1 
  31.     echo end 
  32.     } >>default.opt
  33. }
  34.  
  35.  
  36. for i in $*
  37. do
  38.     if [ -r $i ]
  39.     then
  40.         addoption $i
  41.     else
  42.         echo $0: $i nicht gefunden >&2
  43.         exit 1
  44.     fi
  45. done
  46.